Typed lambda-terms in categorical attributed graph transformation

机译：在分类归因图转换中键入lambda项

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bertrand Boisvert; Louis Fé Sergei Soloviev;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation [J] . Christine Natschl?ger, Klaus-Dieter Schewe Electronic Communications of the EASST . 2012,第11期

机译：代数图变换中具有继承的属性类型图的展平方法
2. Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories [J] . Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Fundamenta Informaticae . 2006,第1期

机译：基于粘性HLR类别的类型化属性图和图变换的基本理论
3. Attributed graph transformation with node type inheritance [J] . Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Theoretical computer science . 2007,第3期

机译：具有节点类型继承的属性图转换
4. Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification [C] . Bertrand Boisvert, Louis Feraud, Sergei Soloviev International Conference on Model-Driven Engineering and Software Development . 2013

机译：在基本归属图形转换系统中结合证明，用于软件建模和验证
5. An Intervention in Transformational Leadership to Improve the Behavior and Attributes of Faculty Supervisors in Private Universities in Panama [D] . Leon, Mariana. 2019

机译：改善巴拿马私立大学教师监事的行为和属性的转型领导
6. One Precursor but Two Types of Graphene Nanoribbons:On-Surface Transformations of 1010′-Dichloro-99′-bianthrylon Ag(111) [O] . Peter H. Jacobse, *, Konstantin A. Simonov, -1

机译：一种前体但两种类型的石墨烯纳米带：1010-Dichloro-99-联蒽基的表面转化在银上（111）
7. Typed lambda-terms in categorical attributed graph transformation [O] . Bertrand Boisvert, Louis Fé, Sergei Soloviev 2011

机译：在分类归因图转换中键入lambda项

Typed lambda-terms in categorical attributed graph transformation

著录项

引文网络

相似文献

相关主题

期刊订阅